// $ANTLR 3.1.2 C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g 2009-03-27 15:56:27

 package real;


import org.antlr.runtime.*;
import java.util.Stack;
import java.util.List;
import java.util.ArrayList;

public class RealSetConstructionLexer extends Lexer {
    public static final int T__24=24;
    public static final int T__23=23;
    public static final int T__22=22;
    public static final int T__21=21;
    public static final int T__20=20;
    public static final int FORALL=6;
    public static final int LCURLY=4;
    public static final int NOT=8;
    public static final int AND=12;
    public static final int ID=10;
    public static final int EOF=-1;
    public static final int T__19=19;
    public static final int CMT=15;
    public static final int WS=14;
    public static final int T__16=16;
    public static final int T__18=18;
    public static final int NEWLINE=5;
    public static final int T__17=17;
    public static final int OR=11;
    public static final int RCURLY=13;
    public static final int EXISTS=7;
    public static final int SUCH_THAT=9;

    // delegates
    // delegators

    public RealSetConstructionLexer() {;} 
    public RealSetConstructionLexer(CharStream input) {
        this(input, new RecognizerSharedState());
    }
    public RealSetConstructionLexer(CharStream input, RecognizerSharedState state) {
        super(input,state);

    }
    public String getGrammarFileName() { return "C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g"; }

    // $ANTLR start "LCURLY"
    public final void mLCURLY() throws RecognitionException {
        try {
            int _type = LCURLY;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:11:8: ( '{' )
            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:11:10: '{'
            {
            match('{'); 

            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        }
    }
    // $ANTLR end "LCURLY"

    // $ANTLR start "NEWLINE"
    public final void mNEWLINE() throws RecognitionException {
        try {
            int _type = NEWLINE;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:12:9: ( '\\n' )
            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:12:11: '\\n'
            {
            match('\n'); 

            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        }
    }
    // $ANTLR end "NEWLINE"

    // $ANTLR start "FORALL"
    public final void mFORALL() throws RecognitionException {
        try {
            int _type = FORALL;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:13:8: ( 'forall' )
            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:13:10: 'forall'
            {
            match("forall"); 


            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        }
    }
    // $ANTLR end "FORALL"

    // $ANTLR start "EXISTS"
    public final void mEXISTS() throws RecognitionException {
        try {
            int _type = EXISTS;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:14:8: ( 'exists' )
            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:14:10: 'exists'
            {
            match("exists"); 


            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        }
    }
    // $ANTLR end "EXISTS"

    // $ANTLR start "NOT"
    public final void mNOT() throws RecognitionException {
        try {
            int _type = NOT;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:15:5: ( 'not' )
            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:15:7: 'not'
            {
            match("not"); 


            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        }
    }
    // $ANTLR end "NOT"

    // $ANTLR start "T__16"
    public final void mT__16() throws RecognitionException {
        try {
            int _type = T__16;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:16:7: ( '.' )
            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:16:9: '.'
            {
            match('.'); 

            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        }
    }
    // $ANTLR end "T__16"

    // $ANTLR start "T__17"
    public final void mT__17() throws RecognitionException {
        try {
            int _type = T__17;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:17:7: ( '(' )
            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:17:9: '('
            {
            match('('); 

            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        }
    }
    // $ANTLR end "T__17"

    // $ANTLR start "T__18"
    public final void mT__18() throws RecognitionException {
        try {
            int _type = T__18;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:18:7: ( ')' )
            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:18:9: ')'
            {
            match(')'); 

            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        }
    }
    // $ANTLR end "T__18"

    // $ANTLR start "T__19"
    public final void mT__19() throws RecognitionException {
        try {
            int _type = T__19;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:19:7: ( 'is' )
            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:19:9: 'is'
            {
            match("is"); 


            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        }
    }
    // $ANTLR end "T__19"

    // $ANTLR start "T__20"
    public final void mT__20() throws RecognitionException {
        try {
            int _type = T__20;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:20:7: ( 'in' )
            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:20:9: 'in'
            {
            match("in"); 


            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        }
    }
    // $ANTLR end "T__20"

    // $ANTLR start "T__21"
    public final void mT__21() throws RecognitionException {
        try {
            int _type = T__21;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:21:7: ( 'a' )
            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:21:9: 'a'
            {
            match('a'); 

            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        }
    }
    // $ANTLR end "T__21"

    // $ANTLR start "T__22"
    public final void mT__22() throws RecognitionException {
        try {
            int _type = T__22;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:22:7: ( 'subset' )
            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:22:9: 'subset'
            {
            match("subset"); 


            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        }
    }
    // $ANTLR end "T__22"

    // $ANTLR start "T__23"
    public final void mT__23() throws RecognitionException {
        try {
            int _type = T__23;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:23:7: ( 'of' )
            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:23:9: 'of'
            {
            match("of"); 


            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        }
    }
    // $ANTLR end "T__23"

    // $ANTLR start "T__24"
    public final void mT__24() throws RecognitionException {
        try {
            int _type = T__24;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:24:7: ( 'superset' )
            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:24:9: 'superset'
            {
            match("superset"); 


            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        }
    }
    // $ANTLR end "T__24"

    // $ANTLR start "RCURLY"
    public final void mRCURLY() throws RecognitionException {
        try {
            int _type = RCURLY;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:67:3: ( '}' )
            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:67:5: '}'
            {
            match('}'); 

            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        }
    }
    // $ANTLR end "RCURLY"

    // $ANTLR start "ID"
    public final void mID() throws RecognitionException {
        try {
            int _type = ID;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:71:7: ( ( '_' | 'a' .. 'z' | 'A' .. 'Z' ) ( '_' | 'a' .. 'z' | 'A' .. 'Z' | '0' .. '9' )* )
            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:71:11: ( '_' | 'a' .. 'z' | 'A' .. 'Z' ) ( '_' | 'a' .. 'z' | 'A' .. 'Z' | '0' .. '9' )*
            {
            if ( (input.LA(1)>='A' && input.LA(1)<='Z')||input.LA(1)=='_'||(input.LA(1)>='a' && input.LA(1)<='z') ) {
                input.consume();

            }
            else {
                MismatchedSetException mse = new MismatchedSetException(null,input);
                recover(mse);
                throw mse;}

            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:71:35: ( '_' | 'a' .. 'z' | 'A' .. 'Z' | '0' .. '9' )*
            loop1:
            do {
                int alt1=2;
                int LA1_0 = input.LA(1);

                if ( ((LA1_0>='0' && LA1_0<='9')||(LA1_0>='A' && LA1_0<='Z')||LA1_0=='_'||(LA1_0>='a' && LA1_0<='z')) ) {
                    alt1=1;
                }


                switch (alt1) {
            	case 1 :
            	    // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:
            	    {
            	    if ( (input.LA(1)>='0' && input.LA(1)<='9')||(input.LA(1)>='A' && input.LA(1)<='Z')||input.LA(1)=='_'||(input.LA(1)>='a' && input.LA(1)<='z') ) {
            	        input.consume();

            	    }
            	    else {
            	        MismatchedSetException mse = new MismatchedSetException(null,input);
            	        recover(mse);
            	        throw mse;}


            	    }
            	    break;

            	default :
            	    break loop1;
                }
            } while (true);


            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        }
    }
    // $ANTLR end "ID"

    // $ANTLR start "SUCH_THAT"
    public final void mSUCH_THAT() throws RecognitionException {
        try {
            int _type = SUCH_THAT;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:73:11: ( ( '|' | ':' | 's.t.' | ( ',' 's.t.' ) | ( ',' 'such' 'that' ) ) )
            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:73:13: ( '|' | ':' | 's.t.' | ( ',' 's.t.' ) | ( ',' 'such' 'that' ) )
            {
            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:73:13: ( '|' | ':' | 's.t.' | ( ',' 's.t.' ) | ( ',' 'such' 'that' ) )
            int alt2=5;
            switch ( input.LA(1) ) {
            case '|':
                {
                alt2=1;
                }
                break;
            case ':':
                {
                alt2=2;
                }
                break;
            case 's':
                {
                alt2=3;
                }
                break;
            case ',':
                {
                int LA2_4 = input.LA(2);

                if ( (LA2_4=='s') ) {
                    int LA2_5 = input.LA(3);

                    if ( (LA2_5=='.') ) {
                        alt2=4;
                    }
                    else if ( (LA2_5=='u') ) {
                        alt2=5;
                    }
                    else {
                        NoViableAltException nvae =
                            new NoViableAltException("", 2, 5, input);

                        throw nvae;
                    }
                }
                else {
                    NoViableAltException nvae =
                        new NoViableAltException("", 2, 4, input);

                    throw nvae;
                }
                }
                break;
            default:
                NoViableAltException nvae =
                    new NoViableAltException("", 2, 0, input);

                throw nvae;
            }

            switch (alt2) {
                case 1 :
                    // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:73:14: '|'
                    {
                    match('|'); 

                    }
                    break;
                case 2 :
                    // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:73:20: ':'
                    {
                    match(':'); 

                    }
                    break;
                case 3 :
                    // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:73:26: 's.t.'
                    {
                    match("s.t."); 


                    }
                    break;
                case 4 :
                    // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:73:35: ( ',' 's.t.' )
                    {
                    // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:73:35: ( ',' 's.t.' )
                    // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:73:36: ',' 's.t.'
                    {
                    match(','); 
                    match("s.t."); 


                    }


                    }
                    break;
                case 5 :
                    // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:73:51: ( ',' 'such' 'that' )
                    {
                    // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:73:51: ( ',' 'such' 'that' )
                    // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:73:52: ',' 'such' 'that'
                    {
                    match(','); 
                    match("such"); 

                    match("that"); 


                    }


                    }
                    break;

            }


            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        }
    }
    // $ANTLR end "SUCH_THAT"

    // $ANTLR start "OR"
    public final void mOR() throws RecognitionException {
        try {
            int _type = OR;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:75:5: ( 'or' | '\\\\/' )
            int alt3=2;
            int LA3_0 = input.LA(1);

            if ( (LA3_0=='o') ) {
                alt3=1;
            }
            else if ( (LA3_0=='\\') ) {
                alt3=2;
            }
            else {
                NoViableAltException nvae =
                    new NoViableAltException("", 3, 0, input);

                throw nvae;
            }
            switch (alt3) {
                case 1 :
                    // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:75:7: 'or'
                    {
                    match("or"); 


                    }
                    break;
                case 2 :
                    // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:75:14: '\\\\/'
                    {
                    match("\\/"); 


                    }
                    break;

            }
            state.type = _type;
            state.channel = _channel;
        }
        finally {
        }
    }
    // $ANTLR end "OR"

    // $ANTLR start "AND"
    public final void mAND() throws RecognitionException {
        try {
            int _type = AND;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:77:5: ( 'and' | '/\\\\' | ';' )
            int alt4=3;
            switch ( input.LA(1) ) {
            case 'a':
                {
                alt4=1;
                }
                break;
            case '/':
                {
                alt4=2;
                }
                break;
            case ';':
                {
                alt4=3;
                }
                break;
            default:
                NoViableAltException nvae =
                    new NoViableAltException("", 4, 0, input);

                throw nvae;
            }

            switch (alt4) {
                case 1 :
                    // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:77:7: 'and'
                    {
                    match("and"); 


                    }
                    break;
                case 2 :
                    // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:77:15: '/\\\\'
                    {
                    match("/\\"); 


                    }
                    break;
                case 3 :
                    // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:77:23: ';'
                    {
                    match(';'); 

                    }
                    break;

            }
            state.type = _type;
            state.channel = _channel;
        }
        finally {
        }
    }
    // $ANTLR end "AND"

    // $ANTLR start "WS"
    public final void mWS() throws RecognitionException {
        try {
            int _type = WS;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:79:7: ( ( ' ' | '\\t' )+ )
            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:79:11: ( ' ' | '\\t' )+
            {
            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:79:11: ( ' ' | '\\t' )+
            int cnt5=0;
            loop5:
            do {
                int alt5=2;
                int LA5_0 = input.LA(1);

                if ( (LA5_0=='\t'||LA5_0==' ') ) {
                    alt5=1;
                }


                switch (alt5) {
            	case 1 :
            	    // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:
            	    {
            	    if ( input.LA(1)=='\t'||input.LA(1)==' ' ) {
            	        input.consume();

            	    }
            	    else {
            	        MismatchedSetException mse = new MismatchedSetException(null,input);
            	        recover(mse);
            	        throw mse;}


            	    }
            	    break;

            	default :
            	    if ( cnt5 >= 1 ) break loop5;
                        EarlyExitException eee =
                            new EarlyExitException(5, input);
                        throw eee;
                }
                cnt5++;
            } while (true);

            _channel=HIDDEN;

            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        }
    }
    // $ANTLR end "WS"

    // $ANTLR start "CMT"
    public final void mCMT() throws RecognitionException {
        try {
            int _type = CMT;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:80:7: ( '/*' ( . )* '*/' )
            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:80:11: '/*' ( . )* '*/'
            {
            match("/*"); 

            // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:80:16: ( . )*
            loop6:
            do {
                int alt6=2;
                int LA6_0 = input.LA(1);

                if ( (LA6_0=='*') ) {
                    int LA6_1 = input.LA(2);

                    if ( (LA6_1=='/') ) {
                        alt6=2;
                    }
                    else if ( ((LA6_1>='\u0000' && LA6_1<='.')||(LA6_1>='0' && LA6_1<='\uFFFF')) ) {
                        alt6=1;
                    }


                }
                else if ( ((LA6_0>='\u0000' && LA6_0<=')')||(LA6_0>='+' && LA6_0<='\uFFFF')) ) {
                    alt6=1;
                }


                switch (alt6) {
            	case 1 :
            	    // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:80:16: .
            	    {
            	    matchAny(); 

            	    }
            	    break;

            	default :
            	    break loop6;
                }
            } while (true);

            match("*/"); 

            _channel=HIDDEN;

            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        }
    }
    // $ANTLR end "CMT"

    public void mTokens() throws RecognitionException {
        // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:1:8: ( LCURLY | NEWLINE | FORALL | EXISTS | NOT | T__16 | T__17 | T__18 | T__19 | T__20 | T__21 | T__22 | T__23 | T__24 | RCURLY | ID | SUCH_THAT | OR | AND | WS | CMT )
        int alt7=21;
        alt7 = dfa7.predict(input);
        switch (alt7) {
            case 1 :
                // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:1:10: LCURLY
                {
                mLCURLY(); 

                }
                break;
            case 2 :
                // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:1:17: NEWLINE
                {
                mNEWLINE(); 

                }
                break;
            case 3 :
                // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:1:25: FORALL
                {
                mFORALL(); 

                }
                break;
            case 4 :
                // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:1:32: EXISTS
                {
                mEXISTS(); 

                }
                break;
            case 5 :
                // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:1:39: NOT
                {
                mNOT(); 

                }
                break;
            case 6 :
                // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:1:43: T__16
                {
                mT__16(); 

                }
                break;
            case 7 :
                // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:1:49: T__17
                {
                mT__17(); 

                }
                break;
            case 8 :
                // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:1:55: T__18
                {
                mT__18(); 

                }
                break;
            case 9 :
                // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:1:61: T__19
                {
                mT__19(); 

                }
                break;
            case 10 :
                // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:1:67: T__20
                {
                mT__20(); 

                }
                break;
            case 11 :
                // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:1:73: T__21
                {
                mT__21(); 

                }
                break;
            case 12 :
                // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:1:79: T__22
                {
                mT__22(); 

                }
                break;
            case 13 :
                // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:1:85: T__23
                {
                mT__23(); 

                }
                break;
            case 14 :
                // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:1:91: T__24
                {
                mT__24(); 

                }
                break;
            case 15 :
                // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:1:97: RCURLY
                {
                mRCURLY(); 

                }
                break;
            case 16 :
                // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:1:104: ID
                {
                mID(); 

                }
                break;
            case 17 :
                // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:1:107: SUCH_THAT
                {
                mSUCH_THAT(); 

                }
                break;
            case 18 :
                // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:1:117: OR
                {
                mOR(); 

                }
                break;
            case 19 :
                // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:1:120: AND
                {
                mAND(); 

                }
                break;
            case 20 :
                // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:1:124: WS
                {
                mWS(); 

                }
                break;
            case 21 :
                // C:\\Users\\ewger\\workspace\\real\\src\\RealSetConstruction.g:1:127: CMT
                {
                mCMT(); 

                }
                break;

        }

    }


    protected DFA7 dfa7 = new DFA7(this);
    static final String DFA7_eotS =
        "\3\uffff\3\16\3\uffff\1\16\1\32\2\16\7\uffff\3\16\1\42\1\43\1\16"+
        "\1\uffff\1\16\1\47\2\uffff\2\16\1\52\3\uffff\2\16\1\uffff\2\16\1"+
        "\uffff\6\16\1\65\1\66\1\67\1\16\3\uffff\1\16\1\72\1\uffff";
    static final String DFA7_eofS =
        "\73\uffff";
    static final String DFA7_minS =
        "\1\11\2\uffff\1\157\1\170\1\157\3\uffff\1\156\1\60\1\56\1\146\4"+
        "\uffff\1\52\2\uffff\1\162\1\151\1\164\2\60\1\144\1\uffff\1\142\1"+
        "\60\2\uffff\1\141\1\163\1\60\3\uffff\1\163\1\145\1\uffff\1\154\1"+
        "\164\1\uffff\1\145\1\162\1\154\1\163\1\164\1\163\3\60\1\145\3\uffff"+
        "\1\164\1\60\1\uffff";
    static final String DFA7_maxS =
        "\1\175\2\uffff\1\157\1\170\1\157\3\uffff\1\163\1\172\1\165\1\162"+
        "\4\uffff\1\134\2\uffff\1\162\1\151\1\164\2\172\1\144\1\uffff\1\160"+
        "\1\172\2\uffff\1\141\1\163\1\172\3\uffff\1\163\1\145\1\uffff\1\154"+
        "\1\164\1\uffff\1\145\1\162\1\154\1\163\1\164\1\163\3\172\1\145\3"+
        "\uffff\1\164\1\172\1\uffff";
    static final String DFA7_acceptS =
        "\1\uffff\1\1\1\2\3\uffff\1\6\1\7\1\10\4\uffff\1\17\1\20\1\21\1"+
        "\22\1\uffff\1\23\1\24\6\uffff\1\13\2\uffff\1\20\1\25\3\uffff\1\11"+
        "\1\12\1\20\2\uffff\1\15\2\uffff\1\5\12\uffff\1\3\1\4\1\14\2\uffff"+
        "\1\16";
    static final String DFA7_specialS =
        "\73\uffff}>";
    static final String[] DFA7_transitionS = {
            "\1\23\1\2\25\uffff\1\23\7\uffff\1\7\1\10\2\uffff\1\17\1\uffff"+
            "\1\6\1\21\12\uffff\1\17\1\22\5\uffff\32\16\1\uffff\1\20\2\uffff"+
            "\1\16\1\uffff\1\12\3\16\1\4\1\3\2\16\1\11\4\16\1\5\1\14\3\16"+
            "\1\13\7\16\1\1\1\17\1\15",
            "",
            "",
            "\1\24",
            "\1\25",
            "\1\26",
            "",
            "",
            "",
            "\1\30\4\uffff\1\27",
            "\12\16\7\uffff\32\16\4\uffff\1\16\1\uffff\15\16\1\31\14\16",
            "\1\17\106\uffff\1\33",
            "\1\34\13\uffff\1\35",
            "",
            "",
            "",
            "",
            "\1\36\61\uffff\1\22",
            "",
            "",
            "\1\37",
            "\1\40",
            "\1\41",
            "\12\16\7\uffff\32\16\4\uffff\1\16\1\uffff\32\16",
            "\12\16\7\uffff\32\16\4\uffff\1\16\1\uffff\32\16",
            "\1\44",
            "",
            "\1\45\15\uffff\1\46",
            "\12\16\7\uffff\32\16\4\uffff\1\16\1\uffff\32\16",
            "",
            "",
            "\1\50",
            "\1\51",
            "\12\16\7\uffff\32\16\4\uffff\1\16\1\uffff\32\16",
            "",
            "",
            "",
            "\1\53",
            "\1\54",
            "",
            "\1\55",
            "\1\56",
            "",
            "\1\57",
            "\1\60",
            "\1\61",
            "\1\62",
            "\1\63",
            "\1\64",
            "\12\16\7\uffff\32\16\4\uffff\1\16\1\uffff\32\16",
            "\12\16\7\uffff\32\16\4\uffff\1\16\1\uffff\32\16",
            "\12\16\7\uffff\32\16\4\uffff\1\16\1\uffff\32\16",
            "\1\70",
            "",
            "",
            "",
            "\1\71",
            "\12\16\7\uffff\32\16\4\uffff\1\16\1\uffff\32\16",
            ""
    };

    static final short[] DFA7_eot = DFA.unpackEncodedString(DFA7_eotS);
    static final short[] DFA7_eof = DFA.unpackEncodedString(DFA7_eofS);
    static final char[] DFA7_min = DFA.unpackEncodedStringToUnsignedChars(DFA7_minS);
    static final char[] DFA7_max = DFA.unpackEncodedStringToUnsignedChars(DFA7_maxS);
    static final short[] DFA7_accept = DFA.unpackEncodedString(DFA7_acceptS);
    static final short[] DFA7_special = DFA.unpackEncodedString(DFA7_specialS);
    static final short[][] DFA7_transition;

    static {
        int numStates = DFA7_transitionS.length;
        DFA7_transition = new short[numStates][];
        for (int i=0; i<numStates; i++) {
            DFA7_transition[i] = DFA.unpackEncodedString(DFA7_transitionS[i]);
        }
    }

    class DFA7 extends DFA {

        public DFA7(BaseRecognizer recognizer) {
            this.recognizer = recognizer;
            this.decisionNumber = 7;
            this.eot = DFA7_eot;
            this.eof = DFA7_eof;
            this.min = DFA7_min;
            this.max = DFA7_max;
            this.accept = DFA7_accept;
            this.special = DFA7_special;
            this.transition = DFA7_transition;
        }
        public String getDescription() {
            return "1:1: Tokens : ( LCURLY | NEWLINE | FORALL | EXISTS | NOT | T__16 | T__17 | T__18 | T__19 | T__20 | T__21 | T__22 | T__23 | T__24 | RCURLY | ID | SUCH_THAT | OR | AND | WS | CMT );";
        }
    }
 

}